Nuprl Lemma : normal-top 11,40
normal-type{i:l}
normal-type(top) 
latex

Definitionst  T, top, normal-type{i:l}(T)
Lemmastop wf, normal-type wf

origin